char *greeting();
